62. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
63. Algebraic complexity theory
پدیدآورنده: Burgisser, Peter
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computational complexity
رده :
QA
267
.
7
.
B87
1997
64. Algebraic complexity theory
پدیدآورنده: / Peter Burgisser, Michael Clausen, M. Amin Shokrollahi, with the collaboration of Thomas Lickteig
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity
رده :
QA267
.
7
.
B87
1997
65. Algebraic complexity theory
پدیدآورنده: / Peter Burgisser, Michael Clausen, M. Amin Shokrollahi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computational complexity
رده :
QA267
.
7
.
B87
1997
66. Algebraic complexity theory
پدیدآورنده: / Peter Burgisser, Michael Clausen, M. Amin Shokrollahi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computational complexity.
رده :
QA267
,.
7
.
B87
67. Algebraic complexity theory
پدیدآورنده: Burgisser, Peter
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Computational complexity►Algebra
رده :
QA
267
.
7
.
B98
68. Algebraic complexity theory
پدیدآورنده: Peter Burgisser, Michael Clausen, M. Amin Shokrollahi; with the collaboration of Thomas Lickteig
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity
رده :
QA
267
.
7
.
B87
69. Algebraic complexity theory: with the collaboration of Thomas Lickteig
پدیدآورنده: Burgisser, Peter
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computational complexity,، Machine theory
رده :
QA
267
.
B813
1997
70. Algebraic systems and computational complexity theory
پدیدآورنده: Wang, Tse-K'o
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Homotopy theory,، Equations- Numerical solutions,، Computational complexity
رده :
QA
612
.
7
.
W35
1993
71. Algebraic systems of equations and computational complexity theory
پدیدآورنده: Wang, Tse-ko
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Homotopy theory,، Equations-- Numerical solutions,، Computational complexity
رده :
QA
612
.
7
.
W35
1994
72. Algebras and Orders
پدیدآورنده: edited by Ivo G. Rosenberg, Gert Sabidussi.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Computational complexity.,Mathematics.
رده :
QA251
.
E358
1993
73. Algebric Systems of Equations and Computational Complexity Theory
پدیدآورنده: / Wang Zeke, Xu Senlin, Gao tangan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Homotopy Theory.,Equations _ Numerical Solutions.,Computational complexity.
رده :
QA612
,.
7
.
W35
75. Algorithm theory - SWAT 2010 :
پدیدآورنده: Haim Kaplan (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms, Congresses.,Computational complexity, Congresses.
رده :
QA9
.
58
.
S28
2010
76. Algorithm theory - SWAT 2010 :
پدیدآورنده: Haim Kaplan (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms, Congresses.,Computational complexity, Congresses.
رده :
QA9
.
58
.
S28
2010
77. Algorithm theory - SWAT '92: Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992: proceedings
پدیدآورنده: O. Nurmi, E. Ukkonen )eds.(
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Algorithms,Congresses ، Computational complexity
رده :
QA
9
.
58
.
S28
1992
78. Algorithm theory -- SWAT'92 : Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992 :proceedings
پدیدآورنده: O Nurmi, E. Ukkonen, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Algorithms,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
621
79. Algorithm theory - SWAT'2000 : 7th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, July 5-7, 2000 : proceedings
پدیدآورنده: Magnus M. Halldorsson )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Algorithms,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
1851
80. Algorithm theory, SWAT 2004 : 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004 : proceedings
پدیدآورنده: Torben Hagerup, Jyrki Katajainen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Algorithms,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
3111
